- 2 402 202 книги
- Поиск
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... Lecture Notes in Artificial Intelligence)
Автор: Serge Autexier, Автор: Jacques Calmet, Автор: David Delahaye, Автор: P.D.F. Ion, Автор: Laurence Rideau, Автор: Renaud Rioboo, Автор: Alan P. SextonКатегория: Компьютеры
Размер книги: 7.53 Mb
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth (Lecture Notes in Computer Science Theoretical Computer Sci)
Автор: Jacques Calmet, Автор: Willi Geiselmann, Автор: Jörn Müller-QuadeКатегория: Компьютеры
Размер книги: 4.10 Mb
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings (Lecture Notes in Computer Science)
Автор: Jacques Calmet, Автор: John A. Campbell (eds.)
Размер книги: 2.73 Mb
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August ... Papers (Lecture Notes in Computer Science)
Автор: Jacques Calmet, Автор: John A. Campbell
Размер книги: 2.58 Mb
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science)
Автор: Jaques Calmet, Автор: John A. Campbell, Автор: Jochen Pfalzgraf
Размер книги: 4.20 Mb
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ... Lecture Notes in Artificial Intelligence)
Автор: Serge Autexier, Автор: Jacques Calmet, Автор: David Delahaye, Автор: P.D.F. Ion, Автор: Laurence Rideau, Автор: Renaud Rioboo, Автор: Alan P. Sexton
Размер книги: 8.02 Mb
Mathematical Methods in Computer Science
Автор: Jacques Calmet, Автор: Willi Geiselmann, Автор: Jörn Müller-Quade
Размер книги: 3.33 Mb
Calmet J. (ed.) Computer algebra (Proc. EUROCAM-82, LNCS 144, Springer, 1982)(T)(311s).djvu
Автор:
Размер книги: 2.45 Mb
Global integrability of field theories
Автор: Tucker R.W., Автор: Calmet J., Автор: Seiler W.M.
Размер книги: 3.89 Mb
Algebraic Algorithms and Error-Correcting Codes 3 conf., AAECC-3
Автор: Jaques CalmetКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.18 Mb
Computer Algebra, EUROCAM '82
Автор: J. CalmetКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.43 Mb
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002
Автор: Jacques Calmet, Автор: Belaid Benhamou, Автор: Olga Caprotti, Автор: Laurent Henocque, Автор: Volker SorgeКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.58 Mb
Mathematical Methods in Computer Science, MMICS 2008
Автор: Jacques Calmet, Автор: Willi Geiselmann, Автор: Jörn Müller-QuadeКатегория: CsLn_
Размер книги: 2.75 Mb
Intelligent Computer Mathematics: 10 conf., AISC2010, 17 conf., Calculemus 2010, 9 conf., MKM2010
Автор: Serge Autexier, Автор: Jacques Calmet, Автор: David Delahaye, Автор: P.D.F. Ion, Автор: Laurence Rideau, Автор: Renaud Rioboo, Автор: Alan P. SextonКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.60 Mb
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Автор: Jacques Calmet, Автор: Jan Plaza
Размер книги: 8.23 Mb
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Автор: Jacques Calmet, Автор: John A. Campbell
Размер книги: 2.71 Mb
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Автор: Jaques Calmet, Автор: John A. Campbell, Автор: Jochen Pfalzgraf
Размер книги: 4.16 Mb
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Автор: Jacques Calmet, Автор: Carla Limongelli
Размер книги: 4.10 Mb
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August ...
Автор: Jacques Calmet, Автор: John A. Campbell
Размер книги: 2.52 Mb
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Автор: Jacques Calmet, Автор: Jan Plaza
Размер книги: 8.23 Mb
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Автор: Jaques Calmet, Автор: Tetsuo Ida, Автор: Dongming Wang
Размер книги: 3.01 Mb